Optimal. Leaf size=718 \[ \frac {e x}{c}-\frac {\left (c d-b e-\frac {b c d-b^2 e+2 a c e}{\sqrt {b^2-4 a c}}\right ) \tan ^{-1}\left (\frac {1-\frac {2 \sqrt [3]{2} \sqrt [3]{c} x}{\sqrt [3]{b-\sqrt {b^2-4 a c}}}}{\sqrt {3}}\right )}{\sqrt [3]{2} \sqrt {3} c^{4/3} \left (b-\sqrt {b^2-4 a c}\right )^{2/3}}-\frac {\left (c d-b e+\frac {b c d-b^2 e+2 a c e}{\sqrt {b^2-4 a c}}\right ) \tan ^{-1}\left (\frac {1-\frac {2 \sqrt [3]{2} \sqrt [3]{c} x}{\sqrt [3]{b+\sqrt {b^2-4 a c}}}}{\sqrt {3}}\right )}{\sqrt [3]{2} \sqrt {3} c^{4/3} \left (b+\sqrt {b^2-4 a c}\right )^{2/3}}+\frac {\left (c d-b e-\frac {b c d-b^2 e+2 a c e}{\sqrt {b^2-4 a c}}\right ) \log \left (\sqrt [3]{b-\sqrt {b^2-4 a c}}+\sqrt [3]{2} \sqrt [3]{c} x\right )}{3 \sqrt [3]{2} c^{4/3} \left (b-\sqrt {b^2-4 a c}\right )^{2/3}}+\frac {\left (c d-b e+\frac {b c d-b^2 e+2 a c e}{\sqrt {b^2-4 a c}}\right ) \log \left (\sqrt [3]{b+\sqrt {b^2-4 a c}}+\sqrt [3]{2} \sqrt [3]{c} x\right )}{3 \sqrt [3]{2} c^{4/3} \left (b+\sqrt {b^2-4 a c}\right )^{2/3}}-\frac {\left (c d-b e-\frac {b c d-b^2 e+2 a c e}{\sqrt {b^2-4 a c}}\right ) \log \left (\left (b-\sqrt {b^2-4 a c}\right )^{2/3}-\sqrt [3]{2} \sqrt [3]{c} \sqrt [3]{b-\sqrt {b^2-4 a c}} x+2^{2/3} c^{2/3} x^2\right )}{6 \sqrt [3]{2} c^{4/3} \left (b-\sqrt {b^2-4 a c}\right )^{2/3}}-\frac {\left (c d-b e+\frac {b c d-b^2 e+2 a c e}{\sqrt {b^2-4 a c}}\right ) \log \left (\left (b+\sqrt {b^2-4 a c}\right )^{2/3}-\sqrt [3]{2} \sqrt [3]{c} \sqrt [3]{b+\sqrt {b^2-4 a c}} x+2^{2/3} c^{2/3} x^2\right )}{6 \sqrt [3]{2} c^{4/3} \left (b+\sqrt {b^2-4 a c}\right )^{2/3}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.95, antiderivative size = 718, normalized size of antiderivative = 1.00, number of steps
used = 14, number of rules used = 8, integrand size = 25, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.320, Rules used = {1516, 1436,
206, 31, 648, 631, 210, 642} \begin {gather*} -\frac {\text {ArcTan}\left (\frac {1-\frac {2 \sqrt [3]{2} \sqrt [3]{c} x}{\sqrt [3]{b-\sqrt {b^2-4 a c}}}}{\sqrt {3}}\right ) \left (-\frac {2 a c e+b^2 (-e)+b c d}{\sqrt {b^2-4 a c}}-b e+c d\right )}{\sqrt [3]{2} \sqrt {3} c^{4/3} \left (b-\sqrt {b^2-4 a c}\right )^{2/3}}-\frac {\text {ArcTan}\left (\frac {1-\frac {2 \sqrt [3]{2} \sqrt [3]{c} x}{\sqrt [3]{\sqrt {b^2-4 a c}+b}}}{\sqrt {3}}\right ) \left (\frac {2 a c e+b^2 (-e)+b c d}{\sqrt {b^2-4 a c}}-b e+c d\right )}{\sqrt [3]{2} \sqrt {3} c^{4/3} \left (\sqrt {b^2-4 a c}+b\right )^{2/3}}-\frac {\left (-\frac {2 a c e+b^2 (-e)+b c d}{\sqrt {b^2-4 a c}}-b e+c d\right ) \log \left (-\sqrt [3]{2} \sqrt [3]{c} x \sqrt [3]{b-\sqrt {b^2-4 a c}}+\left (b-\sqrt {b^2-4 a c}\right )^{2/3}+2^{2/3} c^{2/3} x^2\right )}{6 \sqrt [3]{2} c^{4/3} \left (b-\sqrt {b^2-4 a c}\right )^{2/3}}-\frac {\left (\frac {2 a c e+b^2 (-e)+b c d}{\sqrt {b^2-4 a c}}-b e+c d\right ) \log \left (-\sqrt [3]{2} \sqrt [3]{c} x \sqrt [3]{\sqrt {b^2-4 a c}+b}+\left (\sqrt {b^2-4 a c}+b\right )^{2/3}+2^{2/3} c^{2/3} x^2\right )}{6 \sqrt [3]{2} c^{4/3} \left (\sqrt {b^2-4 a c}+b\right )^{2/3}}+\frac {\left (-\frac {2 a c e+b^2 (-e)+b c d}{\sqrt {b^2-4 a c}}-b e+c d\right ) \log \left (\sqrt [3]{b-\sqrt {b^2-4 a c}}+\sqrt [3]{2} \sqrt [3]{c} x\right )}{3 \sqrt [3]{2} c^{4/3} \left (b-\sqrt {b^2-4 a c}\right )^{2/3}}+\frac {\left (\frac {2 a c e+b^2 (-e)+b c d}{\sqrt {b^2-4 a c}}-b e+c d\right ) \log \left (\sqrt [3]{\sqrt {b^2-4 a c}+b}+\sqrt [3]{2} \sqrt [3]{c} x\right )}{3 \sqrt [3]{2} c^{4/3} \left (\sqrt {b^2-4 a c}+b\right )^{2/3}}+\frac {e x}{c} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 31
Rule 206
Rule 210
Rule 631
Rule 642
Rule 648
Rule 1436
Rule 1516
Rubi steps
\begin {align*} \int \frac {x^3 \left (d+e x^3\right )}{a+b x^3+c x^6} \, dx &=\frac {e x}{c}-\frac {\int \frac {a e-(c d-b e) x^3}{a+b x^3+c x^6} \, dx}{c}\\ &=\frac {e x}{c}+\frac {\left (c d-b e-\frac {b c d-b^2 e+2 a c e}{\sqrt {b^2-4 a c}}\right ) \int \frac {1}{\frac {b}{2}-\frac {1}{2} \sqrt {b^2-4 a c}+c x^3} \, dx}{2 c}+\frac {\left (c d-b e+\frac {b c d-b^2 e+2 a c e}{\sqrt {b^2-4 a c}}\right ) \int \frac {1}{\frac {b}{2}+\frac {1}{2} \sqrt {b^2-4 a c}+c x^3} \, dx}{2 c}\\ &=\frac {e x}{c}+\frac {\left (c d-b e-\frac {b c d-b^2 e+2 a c e}{\sqrt {b^2-4 a c}}\right ) \int \frac {1}{\frac {\sqrt [3]{b-\sqrt {b^2-4 a c}}}{\sqrt [3]{2}}+\sqrt [3]{c} x} \, dx}{3 \sqrt [3]{2} c \left (b-\sqrt {b^2-4 a c}\right )^{2/3}}+\frac {\left (c d-b e-\frac {b c d-b^2 e+2 a c e}{\sqrt {b^2-4 a c}}\right ) \int \frac {2^{2/3} \sqrt [3]{b-\sqrt {b^2-4 a c}}-\sqrt [3]{c} x}{\frac {\left (b-\sqrt {b^2-4 a c}\right )^{2/3}}{2^{2/3}}-\frac {\sqrt [3]{c} \sqrt [3]{b-\sqrt {b^2-4 a c}} x}{\sqrt [3]{2}}+c^{2/3} x^2} \, dx}{3 \sqrt [3]{2} c \left (b-\sqrt {b^2-4 a c}\right )^{2/3}}+\frac {\left (c d-b e+\frac {b c d-b^2 e+2 a c e}{\sqrt {b^2-4 a c}}\right ) \int \frac {1}{\frac {\sqrt [3]{b+\sqrt {b^2-4 a c}}}{\sqrt [3]{2}}+\sqrt [3]{c} x} \, dx}{3 \sqrt [3]{2} c \left (b+\sqrt {b^2-4 a c}\right )^{2/3}}+\frac {\left (c d-b e+\frac {b c d-b^2 e+2 a c e}{\sqrt {b^2-4 a c}}\right ) \int \frac {2^{2/3} \sqrt [3]{b+\sqrt {b^2-4 a c}}-\sqrt [3]{c} x}{\frac {\left (b+\sqrt {b^2-4 a c}\right )^{2/3}}{2^{2/3}}-\frac {\sqrt [3]{c} \sqrt [3]{b+\sqrt {b^2-4 a c}} x}{\sqrt [3]{2}}+c^{2/3} x^2} \, dx}{3 \sqrt [3]{2} c \left (b+\sqrt {b^2-4 a c}\right )^{2/3}}\\ &=\frac {e x}{c}+\frac {\left (c d-b e-\frac {b c d-b^2 e+2 a c e}{\sqrt {b^2-4 a c}}\right ) \log \left (\sqrt [3]{b-\sqrt {b^2-4 a c}}+\sqrt [3]{2} \sqrt [3]{c} x\right )}{3 \sqrt [3]{2} c^{4/3} \left (b-\sqrt {b^2-4 a c}\right )^{2/3}}+\frac {\left (c d-b e+\frac {b c d-b^2 e+2 a c e}{\sqrt {b^2-4 a c}}\right ) \log \left (\sqrt [3]{b+\sqrt {b^2-4 a c}}+\sqrt [3]{2} \sqrt [3]{c} x\right )}{3 \sqrt [3]{2} c^{4/3} \left (b+\sqrt {b^2-4 a c}\right )^{2/3}}-\frac {\left (c d-b e-\frac {b c d-b^2 e+2 a c e}{\sqrt {b^2-4 a c}}\right ) \int \frac {-\frac {\sqrt [3]{c} \sqrt [3]{b-\sqrt {b^2-4 a c}}}{\sqrt [3]{2}}+2 c^{2/3} x}{\frac {\left (b-\sqrt {b^2-4 a c}\right )^{2/3}}{2^{2/3}}-\frac {\sqrt [3]{c} \sqrt [3]{b-\sqrt {b^2-4 a c}} x}{\sqrt [3]{2}}+c^{2/3} x^2} \, dx}{6 \sqrt [3]{2} c^{4/3} \left (b-\sqrt {b^2-4 a c}\right )^{2/3}}+\frac {\left (c d-b e-\frac {b c d-b^2 e+2 a c e}{\sqrt {b^2-4 a c}}\right ) \int \frac {1}{\frac {\left (b-\sqrt {b^2-4 a c}\right )^{2/3}}{2^{2/3}}-\frac {\sqrt [3]{c} \sqrt [3]{b-\sqrt {b^2-4 a c}} x}{\sqrt [3]{2}}+c^{2/3} x^2} \, dx}{2\ 2^{2/3} c \sqrt [3]{b-\sqrt {b^2-4 a c}}}-\frac {\left (c d-b e+\frac {b c d-b^2 e+2 a c e}{\sqrt {b^2-4 a c}}\right ) \int \frac {-\frac {\sqrt [3]{c} \sqrt [3]{b+\sqrt {b^2-4 a c}}}{\sqrt [3]{2}}+2 c^{2/3} x}{\frac {\left (b+\sqrt {b^2-4 a c}\right )^{2/3}}{2^{2/3}}-\frac {\sqrt [3]{c} \sqrt [3]{b+\sqrt {b^2-4 a c}} x}{\sqrt [3]{2}}+c^{2/3} x^2} \, dx}{6 \sqrt [3]{2} c^{4/3} \left (b+\sqrt {b^2-4 a c}\right )^{2/3}}+\frac {\left (c d-b e+\frac {b c d-b^2 e+2 a c e}{\sqrt {b^2-4 a c}}\right ) \int \frac {1}{\frac {\left (b+\sqrt {b^2-4 a c}\right )^{2/3}}{2^{2/3}}-\frac {\sqrt [3]{c} \sqrt [3]{b+\sqrt {b^2-4 a c}} x}{\sqrt [3]{2}}+c^{2/3} x^2} \, dx}{2\ 2^{2/3} c \sqrt [3]{b+\sqrt {b^2-4 a c}}}\\ &=\frac {e x}{c}+\frac {\left (c d-b e-\frac {b c d-b^2 e+2 a c e}{\sqrt {b^2-4 a c}}\right ) \log \left (\sqrt [3]{b-\sqrt {b^2-4 a c}}+\sqrt [3]{2} \sqrt [3]{c} x\right )}{3 \sqrt [3]{2} c^{4/3} \left (b-\sqrt {b^2-4 a c}\right )^{2/3}}+\frac {\left (c d-b e+\frac {b c d-b^2 e+2 a c e}{\sqrt {b^2-4 a c}}\right ) \log \left (\sqrt [3]{b+\sqrt {b^2-4 a c}}+\sqrt [3]{2} \sqrt [3]{c} x\right )}{3 \sqrt [3]{2} c^{4/3} \left (b+\sqrt {b^2-4 a c}\right )^{2/3}}-\frac {\left (c d-b e-\frac {b c d-b^2 e+2 a c e}{\sqrt {b^2-4 a c}}\right ) \log \left (\left (b-\sqrt {b^2-4 a c}\right )^{2/3}-\sqrt [3]{2} \sqrt [3]{c} \sqrt [3]{b-\sqrt {b^2-4 a c}} x+2^{2/3} c^{2/3} x^2\right )}{6 \sqrt [3]{2} c^{4/3} \left (b-\sqrt {b^2-4 a c}\right )^{2/3}}-\frac {\left (c d-b e+\frac {b c d-b^2 e+2 a c e}{\sqrt {b^2-4 a c}}\right ) \log \left (\left (b+\sqrt {b^2-4 a c}\right )^{2/3}-\sqrt [3]{2} \sqrt [3]{c} \sqrt [3]{b+\sqrt {b^2-4 a c}} x+2^{2/3} c^{2/3} x^2\right )}{6 \sqrt [3]{2} c^{4/3} \left (b+\sqrt {b^2-4 a c}\right )^{2/3}}+\frac {\left (c d-b e-\frac {b c d-b^2 e+2 a c e}{\sqrt {b^2-4 a c}}\right ) \text {Subst}\left (\int \frac {1}{-3-x^2} \, dx,x,1-\frac {2 \sqrt [3]{2} \sqrt [3]{c} x}{\sqrt [3]{b-\sqrt {b^2-4 a c}}}\right )}{\sqrt [3]{2} c^{4/3} \left (b-\sqrt {b^2-4 a c}\right )^{2/3}}+\frac {\left (c d-b e+\frac {b c d-b^2 e+2 a c e}{\sqrt {b^2-4 a c}}\right ) \text {Subst}\left (\int \frac {1}{-3-x^2} \, dx,x,1-\frac {2 \sqrt [3]{2} \sqrt [3]{c} x}{\sqrt [3]{b+\sqrt {b^2-4 a c}}}\right )}{\sqrt [3]{2} c^{4/3} \left (b+\sqrt {b^2-4 a c}\right )^{2/3}}\\ &=\frac {e x}{c}-\frac {\left (c d-b e-\frac {b c d-b^2 e+2 a c e}{\sqrt {b^2-4 a c}}\right ) \tan ^{-1}\left (\frac {1-\frac {2 \sqrt [3]{2} \sqrt [3]{c} x}{\sqrt [3]{b-\sqrt {b^2-4 a c}}}}{\sqrt {3}}\right )}{\sqrt [3]{2} \sqrt {3} c^{4/3} \left (b-\sqrt {b^2-4 a c}\right )^{2/3}}-\frac {\left (c d-b e+\frac {b c d-b^2 e+2 a c e}{\sqrt {b^2-4 a c}}\right ) \tan ^{-1}\left (\frac {1-\frac {2 \sqrt [3]{2} \sqrt [3]{c} x}{\sqrt [3]{b+\sqrt {b^2-4 a c}}}}{\sqrt {3}}\right )}{\sqrt [3]{2} \sqrt {3} c^{4/3} \left (b+\sqrt {b^2-4 a c}\right )^{2/3}}+\frac {\left (c d-b e-\frac {b c d-b^2 e+2 a c e}{\sqrt {b^2-4 a c}}\right ) \log \left (\sqrt [3]{b-\sqrt {b^2-4 a c}}+\sqrt [3]{2} \sqrt [3]{c} x\right )}{3 \sqrt [3]{2} c^{4/3} \left (b-\sqrt {b^2-4 a c}\right )^{2/3}}+\frac {\left (c d-b e+\frac {b c d-b^2 e+2 a c e}{\sqrt {b^2-4 a c}}\right ) \log \left (\sqrt [3]{b+\sqrt {b^2-4 a c}}+\sqrt [3]{2} \sqrt [3]{c} x\right )}{3 \sqrt [3]{2} c^{4/3} \left (b+\sqrt {b^2-4 a c}\right )^{2/3}}-\frac {\left (c d-b e-\frac {b c d-b^2 e+2 a c e}{\sqrt {b^2-4 a c}}\right ) \log \left (\left (b-\sqrt {b^2-4 a c}\right )^{2/3}-\sqrt [3]{2} \sqrt [3]{c} \sqrt [3]{b-\sqrt {b^2-4 a c}} x+2^{2/3} c^{2/3} x^2\right )}{6 \sqrt [3]{2} c^{4/3} \left (b-\sqrt {b^2-4 a c}\right )^{2/3}}-\frac {\left (c d-b e+\frac {b c d-b^2 e+2 a c e}{\sqrt {b^2-4 a c}}\right ) \log \left (\left (b+\sqrt {b^2-4 a c}\right )^{2/3}-\sqrt [3]{2} \sqrt [3]{c} \sqrt [3]{b+\sqrt {b^2-4 a c}} x+2^{2/3} c^{2/3} x^2\right )}{6 \sqrt [3]{2} c^{4/3} \left (b+\sqrt {b^2-4 a c}\right )^{2/3}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] Result contains higher order function than in optimal. Order 9 vs. order 3 in
optimal.
time = 0.03, size = 88, normalized size = 0.12 \begin {gather*} \frac {e x}{c}-\frac {\text {RootSum}\left [a+b \text {$\#$1}^3+c \text {$\#$1}^6\&,\frac {a e \log (x-\text {$\#$1})-c d \log (x-\text {$\#$1}) \text {$\#$1}^3+b e \log (x-\text {$\#$1}) \text {$\#$1}^3}{b \text {$\#$1}^2+2 c \text {$\#$1}^5}\&\right ]}{3 c} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] Result contains higher order function than in optimal. Order 9 vs. order
3.
time = 0.19, size = 67, normalized size = 0.09
method | result | size |
default | \(\frac {e x}{c}+\frac {\munderset {\textit {\_R} =\RootOf \left (\textit {\_Z}^{6} c +\textit {\_Z}^{3} b +a \right )}{\sum }\frac {\left (\left (-e b +c d \right ) \textit {\_R}^{3}-a e \right ) \ln \left (x -\textit {\_R} \right )}{2 \textit {\_R}^{5} c +\textit {\_R}^{2} b}}{3 c}\) | \(67\) |
risch | \(\frac {e x}{c}+\frac {\munderset {\textit {\_R} =\RootOf \left (\textit {\_Z}^{6} c +\textit {\_Z}^{3} b +a \right )}{\sum }\frac {\left (\left (-e b +c d \right ) \textit {\_R}^{3}-a e \right ) \ln \left (x -\textit {\_R} \right )}{2 \textit {\_R}^{5} c +\textit {\_R}^{2} b}}{3 c}\) | \(67\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 30.15, size = 2500, normalized size = 3.48 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________